Generating a checking sequence with a minimum number of reset transitions

Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)

The Quark-Hadron Phase Transition, QCD Lattice Calculations and Inhomogeneous Big-Bang Nucleosynthesis

We review recent lattice QCD results for the surface tension at the finite temperature quark-hadron phase transition and discuss their implications on the possible scale of inhomogeneities. In the quenched approximation the average distance between nucleating centers is smaller than the diffusion length of a protron, so that inhomogeneities are washed out by the time nucleosynthesis sets in. Consequently the baryon density fluctuations formed by a QCD phase transition in the early universe cannot significantly affect standard big-bang nucleosynthesis calculations and certainly cannot allow baryons to close the universe. At present lattice results are inconclusive when dynamical fermions are included.Comment: 8 pages, LaTe

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally

Dynamic heterogeneities in the out-of-equilibrium dynamics of simple spherical spin models

The response of spherical two-spin interaction models, the spherical ferromagnet (s-FM) and the spherical Sherrington-Kirkpatrick (s-SK) model, is calculated for the protocol of the so-called nonresonant hole burning experiment (NHB) for temperatures below the respective critical temperatures. It is shown that it is possible to select dynamic features in the out-of-equilibrium dynamics of both models, one of the hallmarks of dynamic heterogeneities. The behavior of the s-SK model and the s-FM in three dimensions is very similar, showing dynamic heterogeneities in the long time behavior, i.e. in the aging regime. The appearence of dynamic heterogeneities in the s-SK model explicitly demonstrates that these are not necessarily related to {\it spatial} heterogeneities. For the s-FM it is shown that the nature of the dynamic heterogeneities changes as a function of dimensionality. With incresing dimension the frequency selectivity of the NHB diminishes and the dynamics in the mean-field limit of the s-FM model becomes homogeneous.Comment: 16 pages, 8 figure

Slow dynamics and aging in spin-glasses

Contribution presented by Eric Vincent in the Conference `Complex Behaviour of Glassy Systems', Sitges, Barcelona, Spain, June, 1996. It contains a review of the experimental results on Slow dynamics and aging in spin-glasses. It also presents their comparison with recent theoretical developments in the description of the out of equilibrium dynamics of disordered systems; namely, the trap model and the mean-field theory.Comment: 35 pages, 12 figures, macro lmamult.sty (included

Velocity-force characteristics of an interface driven through a periodic potential

We study the creep dynamics of a two-dimensional interface driven through a periodic potential using dynamical renormalization group methods. We find that the nature of weak-drive transport depends qualitatively on whether the temperature $T$ is above or below the equilibrium roughening transition temperature $T_c$. Above $T_c$, the velocity-force characteristics is Ohmic, with linear mobility exhibiting a jump discontinuity across the transition. For $T \le T_c$, the transport is highly nonlinear, exhibiting an interesting crossover in temperature and weak external force $F$. For intermediate drive, $F>F_*$, we find near $T_c^{-}$ a power-law velocity-force characteristics $v(F)\sim F^\sigma$, with $\sigma-1\propto \tilde{t}$, and well-below $T_c$, $v(F)\sim e^{-(F_*/F)^{2\tilde{t}}}$, with $\tilde{t}=(1-T/T_c)$. In the limit of vanishing drive ($F\ll F_*$) the velocity-force characteristics crosses over to $v(F)\sim e^{-(F_0/F)}$, and is controlled by soliton nucleation.Comment: 18 pages, submitted to Phys. Rev.